Buy Used and New Ana Cavalcanti Books

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal ... 10471 (Lecture Notes in Computer Science)

by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

ISBN 13: 9783319671123

Format: Paperback (252 pages)
Publisher: Springer
Published: 25 Aug 2017

Save for later